== es-decls(es;i;ds;da)
==
with decls ds
==
with decls da
==
sends on l from e
==
include tagged-list-messages((state when e);
==
include tagged-list-messages(val(e);
==
include tagged-list-messages(mapfilter(
tr.<1of(tr),2of(2of(tr))>;
==
include tagged-list-messages(mapfilter(tr.action[[x 1of(2of(tr))]][es-init(es;e);e];
==
include tagged-list-messages(mapfilter(snd(<kind(e),l>)?nil))
==
and only these for tags in ecl-tags(l;snd)
clarification:
ecl-mng-sends{i:l}
ecl-mng-sends(es; i; ds; da; x; l; snd)
== es-decls(es;i;ds;da)
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(es-state-when(es;e);
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(es-val(es; e);
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(tr.<1of(tr)
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(tr.,2of(2of(tr))>;
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(tr.
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact{i:l}
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(ds;
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(da;
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(x;
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(es;
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(1of(2of(tr));
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(es-init(es;e);
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(es-bact(e);
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);<es-kind
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);<(es;
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);<(e
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);<()
==
es-sends-iff(es;l;ecl-tags(l;snd);da;ds;e.tagged-list-messages(mapfilter(fpf-cap(snd;product-deq(Knd;IdLnk;KindDeq;IdLnkDeq);,l>;nil))))